41. Bertrand Russell and the origins of the set-theoretic 'paradoxes', Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
Author: Garciadiego Dantan, Alejandro Ricardo
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
Classification :
QA
9
.
G2413
1992
42. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
43. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
Classification :
QA9
.
A5
B489
2007
44. Bridge to abstract mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Mathematics ;
45. Bridge to abstract mathematics
Author: / by Ronald P. Morash
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Mathematics--1961
Classification :
QA9
,.
M74
,
1987
46. Bridge to abstract mathematics /
Author: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
47. Bridge to abstract mathematics : mathematical proof and structures
Author: by Ronald P. Morash,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical,Mathematics
Classification :
QA
.
M74
9
1987
48. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Author: P. Martin-Lof, G Mints, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
417
49. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
I57
1988
50. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
385
51. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1988
52. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
440
53. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1989
54. Categorical Topology
Author: edited by Eraldo Giuli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
55. Chapter zero
Author: / Carol Schumacher
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematics,Problem solving
Classification :
QA
9
.
S376
1996
56. Closure Spaces and Logic
Author: by Norman M. Martin, Stephen Pollard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
57. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
58. Commonsense Reasoning
Author: \ Erik T. Mueller, IBM Watson Group and IBM Research.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
Classification :
E-Book
,
59. Commonsense reasoning /
Author: Erik T. Mueller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
Classification :
Q338
.
85
.
M84
2006eb
60. Computation, logic, philosophy : a collection of essays
Author: Wang, Hao
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W35
1990
